From 4af59dbd98372d1b6634831804838780344b1c76 Mon Sep 17 00:00:00 2001
From: Volker Sobek <reklov@live.com>
Date: Wed, 16 Jul 2014 13:25:22 +0200
Subject: [PATCH] Adwaita: Add back a margin of 4px to .menu

This had originally been added to Adwaita in the gnome-themes-standard
commit 7bf01517bc2 but was lost during 3.13 theme changes, causing bug
591258 to reappear.
---
 gtk/resources/theme/Adwaita/_common.scss           | 1 +
 gtk/resources/theme/Adwaita/gtk-contained-dark.css | 1 +
 gtk/resources/theme/Adwaita/gtk-contained.css      | 1 +
 3 files changed, 3 insertions(+)

diff --git a/gtk/resources/theme/Adwaita/_common.scss b/gtk/resources/theme/Adwaita/_common.scss
index 64801ddc85..d053428eb0 100644
--- a/gtk/resources/theme/Adwaita/_common.scss
+++ b/gtk/resources/theme/Adwaita/_common.scss
@@ -974,6 +974,7 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
 }
 
 .menu {
+  margin: 4px;
   padding: 0px;
   background-color: $base_color;
   //border: 1px solid $borders_color;
diff --git a/gtk/resources/theme/Adwaita/gtk-contained-dark.css b/gtk/resources/theme/Adwaita/gtk-contained-dark.css
index 7ddd9cefcc..ae98f1b9f3 100644
--- a/gtk/resources/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/resources/theme/Adwaita/gtk-contained-dark.css
@@ -1122,6 +1122,7 @@ GtkTreeView.view.progressbar {
       box-shadow: none; }
 
 .menu {
+  margin: 4px;
   padding: 0px;
   background-color: #292929; }
   .menu .menuitem {
diff --git a/gtk/resources/theme/Adwaita/gtk-contained.css b/gtk/resources/theme/Adwaita/gtk-contained.css
index 2b4503b6fa..03645aedb2 100644
--- a/gtk/resources/theme/Adwaita/gtk-contained.css
+++ b/gtk/resources/theme/Adwaita/gtk-contained.css
@@ -1115,6 +1115,7 @@ GtkTreeView.view.progressbar {
       box-shadow: none; }
 
 .menu {
+  margin: 4px;
   padding: 0px;
   background-color: white; }
   .menu .menuitem {
-- 
2.30.2